<?php
class WikiTools {
}

?>